relation that is reflexive and transitive but not symmetric